4. A Distributed Implementation of Flat Concurrent Prolog on Message-Passing Multiprocessor Systems
پدیدآورنده: von Uwe Glässer.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Engineering.
رده :
QA76
.
9
.
D5
V668
1993
5. A Visual Basic 6 programmer's toolkit
پدیدآورنده: Hank Marquis and Eric A. Smith.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: BASIC (Computer program language),Microsoft Visual BASIC.,Visual Basic (Computer program language)
رده :
QA76
.
73
.
B3
H365
9999
7. A 25-Year perspective on logic programming
پدیدآورنده: / Agostino Dovier, Enrico Pontelli (Eds.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Italian Association for Logic Programming,Logic programming
رده :
QA76
.
63
.
T84
2010
8. A beginner's guide to Programming logic and design
پدیدآورنده: Farrell, Joyce.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)
موضوع: ، Logic programming,، Logic design
رده :
QA
76
.
63
.
F37
9. A concise introduction to mathematical logic
پدیدآورنده: / Wolfgang Rautenberg
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Logic, Symbolic and mathematical,Electronic books. , local
رده :
E-BOOK
10. A first course in optimization theory /
پدیدآورنده: Rangarajan K. Sundaram
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Mathematical optimization,Programming (Mathematics),Mathematische Optimierung-- Theorie,Optimierung-- Lehrbuch
رده :
QA402
.
5
.
S837
1996
11. A first course in scientific computing symbolic, graphic, and numeric modeling using Maple, Java, Mathematica, and Fortran90
پدیدآورنده: Rubin H. Landau ; contributors, Robyn Wangberg ... ]et al.[.
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع: Science
رده :
Q
183
.
9
.
L36
2005
12. A fuzzy PROLOG database system
پدیدآورنده: Li, Deyi
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Data base management,، Prolog )Computer program language(,، Logic programming,، Fuzzy systems
رده :
QA
76
.
9
.
D3
.
L52
1990
13. A fuzzy PROLOG database system
پدیدآورنده: Deyi Li and Dongbo Liu
کتابخانه: کتابخانه دانشگاه تحصیلات تکمیلی صنعتی و فناوری پیشرفته کرمان (کرمان)
موضوع: ، Database management,، Prolog )Computer program language(,، Logic programming,، Fuzzy systems
رده :
QA
76
.
9
.
D3
L52
1990
14. A general theory of formality
پدیدآورنده: Beck, Andrew Edward
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع:
15. A guide to programming logic and design: introductory
پدیدآورنده: Farrell, Joyce
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Computer programming,، Structured programming
رده :
QA
76
.
6
.
F37
16. A perspective of constraint-based reasoning :
پدیدآورنده: edited by H.W. Güsgen, J. Hertzberg.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Constraints (Artificial intelligence),Contraintes (Intelligence artificielle),Reasoning.
رده :
QA75
.
E358
1992
17. A portable natural language interface from Arabic to SQL
پدیدآورنده: Al-Johar, Badr
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer software & programming
18. A primer on scientific programming with Python /
پدیدآورنده: Hans Petter Langtangen.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Python (Computer program language),Computer programming-- software development.,Computers-- Computer Science.,Computers-- Data Processing.,Computers-- Programming-- General.,Mathematical physics.,Mathematical theory of computation.,Maths for scientists.,Python (Computer program language),Science-- Mathematical Physics.
رده :
QA76
.
73
.
P98
20. A science of operations
پدیدآورنده: / by Peter Mark Priestley
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Computer programming, History,Programming languages (Electronic computers), History,Microcomputers, History,Logic, Symbolic and mathematical
رده :
QA76
.
6
.
P75
2010
